From 4f1d3832fbd5cb9e6424b9a8f247f3fb929b78ae Mon Sep 17 00:00:00 2001
From: "kaf24@scramble.cl.cam.ac.uk" <kaf24@scramble.cl.cam.ac.uk>
Date: Tue, 2 Mar 2004 11:12:52 +0000
Subject: [PATCH] bitkeeper revision 1.762 (40446c34NXNuxQ7jHpzDmqmIXo21pg)

Xeno-HOWTO.txt, Makefile:
  Documentation fixes.
---
 Makefile            | 2 +-
 docs/Xeno-HOWTO.txt | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index e429b6b1bf..388f3c4253 100644
--- a/Makefile
+++ b/Makefile
@@ -4,7 +4,7 @@
 # Builds everything except Xenolinux:
 #  cd xenolinux-<version>-sparse
 #  ./mkbuildtree <build dir>
-#  cd <build dir> && make oldconfig && make dep && make bzImage
+#  cd <build dir> && make ARCH=xeno oldconfig dep bzImage
 #  (<build dir> should be a vanilla linux tree with matching version)
 
 all:	
diff --git a/docs/Xeno-HOWTO.txt b/docs/Xeno-HOWTO.txt
index 9a74bbd749..f89ac3b2ab 100644
--- a/docs/Xeno-HOWTO.txt
+++ b/docs/Xeno-HOWTO.txt
@@ -95,8 +95,8 @@ oldconfig') but you can customise using one of the other config tools
 if you want.
 
   # cd /xeno-1.2.bk/xenolinux-2.4.24
-  # ARCH=xeno make oldconfig   { or menuconfig, or xconfig, or config }  
-  # ARCH=xeno make dep bzImage
+  # make ARCH=xeno oldconfig   { or menuconfig, or xconfig, or config }  
+  # make ARCH=xeno dep bzImage
 
 Assuming the build works, you'll end up with
 /xeno-1.2.bk/xenolinux-2.4.24/arch/xeno/boot/xenolinux.gz. This is the
-- 
2.30.2